“Den høyere retorikk” hos Hume – en perspektivering

Hume, the New Hume, and Causal Connections

HUME STUDIES' Terms and Conditions of Use provides, in part, that unless you have obtained prior permission, you may not download an entire issue of a journal or multiple copies of articles, and you may use content in the HUME STUDIES archive only for your personal, non-commercial use. Each copy of any part of a HUME STUDIES transmission must contain the same copyright notice that appears on th...

Hume to FPGA

Hume is a novel language in the functional tradition, strongly oriented to systems requiring strong guarantees that resource bounds are met. To facilitate resource assurance, Hume enforces a separation of coordination and computation concerns, and deploys an abstract machine intermediary between implementations and analyses. These core design decisions also enable a high degree of portability a...

Induction before Hume

The word ‘Induction’ and its cognates in other languages, of which for present purposes the most important is Latin ‘inductio’, have a complex semantic history, as does the Greek ἐπαγωγή from which they were derived. Though some of these uses — electromagnetic induction, or the induction of a clergyman into a new benefice — are manifestly irrelevant, others that still diverge significantly from...

Hume, Skepticism, and Induction

Et informatikkperspektiv på norsk lovgivning om karakterklager i høyere utdanning

KD har i en nylig proposisjon foreslått endringer av klagesensurordningen, hvor det legges opp til at en modell med blind omsensur, som allerede har vært brukt ved en del læresteder, nå skal gjøres obligatorisk for alle læresteder. I denne artikkelen sammenlignes gammel og ny klagesensurordning med ordningene i en del andre land. Vi diskuterer ulike typer sensurfeil (med eksempel fra programmer...